Children’s language comprehension: incremental, interactive and abstract Michigan State University MarchJesse Snedeker

Source URL: software.rc.fas.harvard.edu

• Cognition
• Academia
• Psycholinguistics
• Cognitive science
• Semiotics
• Linguistics
• Sentence processing
• Semantics
• Pragmatics
• Language

The GeoLink Modular Oceanography Ontology Adila Krisnadhi1,8 , Yingjie Hu2 , Krzysztof Janowicz2 , Pascal Hitzler1 , Robert Arko3 , Suzanne Carbotte3 , Cynthia Chandler4 , Michelle Cheatham1 , Douglas Fils5 , Timothy Fin

Source URL: geog.ucsb.edu

• Computing
• Ontology
• Information science
• Knowledge representation
• Information
• Semantic Web
• Technical communication
• Upper ontology
• Web Ontology Language
• Formal ontology
• BORO
• Software design pattern

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Functional languages
• Programming language implementation
• Generalized algebraic data type
• Syntax
• Domain-specific language
• Haskell

Techniques and Applications for Guest-Language Safepoints Benoit Daloze Johannes Kepler University Linz, Austria Chris Seaton

Source URL: chrisseaton.com

• Computing
• Software engineering
• Computer programming
• Concurrency control
• Global interpreter lock
• Thread
• JRuby
• POSIX Threads
• Memory barrier
• VM
• Runtime system
• Ruby

SkyDemon Flight-Planning and Navigation User Guide This documentation will take you through every significant feature of our flight-planning and navigation products. You can refer to a specific topic individually or read

Source URL: www.skydemon.aero

• Software
• Global Positioning System
• Computing
• IOS
• Smartphones
• Air traffic control
• Keyhole Markup Language
• Waypoint
• IPhone
• NOTAM
• IPad
• Google Maps

Stochastic Search-Based Testing for Uniform Block Layouts Ian Romanick ∗ Abstract Software testing is a challenging problem. Testing uniform block layouts for the OpenGL Shading Language in particular

Source URL: www.paranormal-entertainment.com

Perl 6 hands-on tutorial - A small introduction to a big language

Source URL: jnthn.net

• Software engineering
• Software
• Computing
• Perl 6
• Cross-platform software
• High-level programming languages
• Scripting languages
• Perl
• Form
• Eval
• Readevalprint loop
• Pugs

Stephen Oney | Research Statement Computing is an indispensible tool in the 21st century, yet too few people know how to wield its power to augment their everyday lives. My research enables and encourages novice, everyda

Source URL: from.so

• Software engineering
• Computing
• Software
• Computer programming
• Humancomputer interaction
• Software design
• Cross-platform software
• JavaScript
• ECO
• Domain-specific language
• Callback
• End-user development

The nesC Language: A Holistic Approach to Networked Embedded Systems http://nescc.sourceforge.net David Gay‡

Source URL: csl.stanford.edu

• Wireless sensor network
• Embedded operating systems
• TinyOS
• Object-oriented programming
• NesC
• Wireless networking
• Software architecture
• Embedded system
• Component-based software engineering
• Operating system
• Kernel
• Communications protocol